def get_idents():
    with open('list.txt', 'r') as f:
        idents = f.read().split('\n')
    idents = [int(i) if i.isdigit() else i for i in idents]
    idents.remove('')
    return idents
